From 643abe312793ad45470e0a87fea792fa7b246eda Mon Sep 17 00:00:00 2001 From: Carlos Garnacho Date: Mon, 30 Aug 2010 22:35:30 +0200 Subject: [PATCH] GtkStyleSet: Register "margin" property. --- gtk/gtkstyleset.c | 1 + 1 file changed, 1 insertion(+) diff --git a/gtk/gtkstyleset.c b/gtk/gtkstyleset.c index 5c634100e0..101925a1cc 100644 --- a/gtk/gtkstyleset.c +++ b/gtk/gtkstyleset.c @@ -85,6 +85,7 @@ gtk_style_set_class_init (GtkStyleSetClass *klass) gtk_style_set_register_property ("font", PANGO_TYPE_FONT_DESCRIPTION, NULL, NULL); + gtk_style_set_register_property ("margin", GTK_TYPE_BORDER, NULL, NULL); gtk_style_set_register_property ("padding", GTK_TYPE_BORDER, NULL, NULL); gtk_style_set_register_property ("border", G_TYPE_INT, NULL, NULL); -- 2.30.2